381. Simplified independence proofs; Boolean valued models of set theroy
Author: / J. Barkley Rosser
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Algebra, Boolean
Classification :
511
.
32
Ro-S
382. Special groups: boolean-theoretic methods in the theory of quadratic forms
Author: Dickmann, Max A., 0491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Forms, Quadratic,، Algebra, Boolean
Classification :
QA
3
.
A475
no
.
689
383. Statistics of the boolean model for Practitioners and mathematicians
Author: / Ilya Molchanov
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Algebra,Boolean
Classification :
QA10
.
3
.
M65
1997
384. Statistics of the boolean model for practitioners & mathematicians
Author: Molchanov, Ilya
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Algebra, Boolean
Classification :
QA
10
.
3
.
M6
S7
385. Stone spaces
Author: Johnstone, P. T.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Algebra, Boolean,، Representations of algebras,، Topology,، Algebra,، Functional analysis
Classification :
QA
10
.
3
.
J64
1982
386. Stone spaces /
Author: Peter T. Johnstone
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra,Algebra, Boolean,Functional analysis,Representations of algebras,Topology
Classification :
QA10
.
3
.
J63
1982
387. Stone spaces
Author: Johnstone, P. T.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Algebra, Boolean,، Representations of algebras,، Topology,، Algebra,، Functional analysis
Classification :
QA
10
.
3
.
J63
1982
388. Structures ordonnees et algebres de boole
Author: Faure, Robert
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Algebra, Abstract,، Algebra, Boolean
Classification :
QA
162
.
F38
1971
389. Switching Machines :
Author: by J.-P. Perrin, M. Denouette, E. Daclin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.
Classification :
QA267
.
5
.
S4
B957
1972
390. Switching theory for logic synthesis.
Author: Tsutomu Sasao
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
TK7868
.
L6
T788
2012
391. Techniques booleennes et calculateurs arithmetique
Author: Chinal, Jean
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Switching theory,، Sequential machine theory,، Algebra, Boolean
Classification :
QA
401
.
C52
392. Techniques booleennes et calculateurs arithmetiques
Author: / J. Chinal
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Switching theory,Sequential theory,Algebra, Boolean
Classification :
QA401
.
C52
393. Techniques booleennes et calculateurs arithmetiques
Author: / par J. chinal,Chinal
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Algebra, Boolean,Calculating - machines
Classification :
QA
266
.
C5
394. Test pattern generation using Boolean proof engines
Author: / by Rolf Drechsler ... [et al.]
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Integrated circuits--Verification,Computer software--Verification,Computer algorithms.,Algebra, Boolean.
Classification :
TK
,
7874
.
58
,.
T47
,
2009
395. Test pattern generation using Boolean proof engines
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Integrated circuits ; Verification. ; Automatic test pattern generation. ; Automatic test equipment. ; Computer algorithms. ; Algebra, Boolean. ; ATPG. ; swd. ; Hardwareverifikation. ; swd. ; Integrierte Schaltung. ; swd. ;
396. The Art of the Intelligible :
Author: by John L. Bell.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Geometry.,Logic, Symbolic and mathematical.,Philosophy (General),Science-- Philosophy.,Algebra.,Geometry.,Logic, Symbolic and mathematical.,Science-- Philosophy.
Classification :
B67
397. The Essentials of booiean algebra
Author: / Alan David Solomon
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Algebra, Boolean
Classification :
QA
10
.
3
.
S64
398. The Logic of Partial Information
Author: by Areski Nait Abdallah.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
Classification :
QA76
.
7
B937
1995
399. The Physics of Structure Formation :
Author: edited by Werner Güttinger, Gerhard Dangelmayr.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematical physics.,Physics.,Thermodynamics.
Classification :
QC20
.
7
.
N6
E358
1987
400. The algebra of probable inference
Author: Cox, Richard Threlkeld
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Probabilities,، Algebra, Boolean,، Information theory
Classification :
QA
273
.
C77
